inductive assertion造句

例句与造句

1. Description : Robert Floyd's landmark paper Assigning Meanings to Programs introduces the method of inductive assertions and describes how a program annotated with first-order assertions may be shown to satisfy a pre-and post-condition specification-the paper also introduces the concepts of loop invariant and verification condition.
2. It's difficult to find inductive assertion in a sentence. 用inductive assertion造句挺难的